#include <isr.h>

#ifndef __PS2_MOUSE_H
#define __PS2_MOUSE_H

#define KEYB_PORT	(0x60)
#define KEYB_CTRL	(0x64)
#define KEYB_ACK	(0xFA)

#endif

void kbd_command_send(unsigned int port, unsigned char val);
unsigned char kbd_command_read();
unsigned char kbd_command_send_ack(unsigned int port, unsigned char val);
void install_ps2_driver();
void new_handler(registers_t regs);
void remove_ps2_driver();
